From 33bd7051f24862f80cb8149a79090df350b28855 Mon Sep 17 00:00:00 2001 From: Daniel Boles Date: Mon, 1 Jul 2019 19:13:45 +0100 Subject: [PATCH] widget-factory: Use correct StyleProvider priority We are an application, not a user. cherry-pick of !974 --- demos/widget-factory/widget-factory.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/demos/widget-factory/widget-factory.c b/demos/widget-factory/widget-factory.c index 662eb0241b..1197f19588 100644 --- a/demos/widget-factory/widget-factory.c +++ b/demos/widget-factory/widget-factory.c @@ -1707,7 +1707,7 @@ activate (GApplication *app) gtk_css_provider_load_from_resource (provider, "/org/gtk/WidgetFactory4/widget-factory.css"); gtk_style_context_add_provider_for_display (gdk_display_get_default (), GTK_STYLE_PROVIDER (provider), - GTK_STYLE_PROVIDER_PRIORITY_USER); + GTK_STYLE_PROVIDER_PRIORITY_APPLICATION); g_object_unref (provider); builder = gtk_builder_new_from_resource ("/org/gtk/WidgetFactory4/widget-factory.ui"); -- 2.30.2